contracting homotopy

收缩同伦